Abstracts of lectures

s of lectures 1. Designing real-time systems with UML – the ROPES method Z H Object-oriented approach becomes dominating in contemporary software engineering. After a period of tempestuous development of object-oriented methods for software development, the Unified Modeling Language (UML) has emerged as a de facto standard. The UML is a graphical language for visualizing, specifying, constructing, and documenting the artifacts of a software-intensive system. The UML offers a standard way to write a system’s blue-prints, including conceptual things such as business processes and system functions as well as concrete things such as programming language statements, database schemas, and reusable software components. Emerging of the UML gave rise to development of object-oriented methods of software development. Additionally, common UML acceptation enables development of professional tools supporting the process of software development. The ROPES (Rapid Oriented Process for Embedded Systems) is one the first object-oriented methods of real-time system development, which bases on UML. The chapter gives a general review of the method, and next gives a simple case study illustrating application of the method. It should be underlined that the UML is still developed. Its present version – UML 1.4 – does not take into account the needs of real-time systems development, but the next expected version – UML 2.0 – should allow for it. 2. Temporal logic in the software specification and verification: Towards real-